Dealing with Distinguishing Descriptions in a Guided Composition System
نویسندگان
چکیده
The goal of this paper is to provide computable account for some definite descriptions. To this end, we define in terms of inclusion the notion of distinguishing description and of distinguishable entities introduced by [Dale 89]. These def'mitions allow us to give conditions of wellformedness for incomplete distinguishing descriptions. We also extend the notion of distinguishing description to take into account cases of synonymy and hyponymy. We describe a real application of a guided composition system where this sort of expressions arise.
منابع مشابه
A Fuzzy Expert System for Distinguishing between Bacterial and Aseptic Meningitis
Introduction Bacterial meningitis is a known infectious disease which occurs at early ages and should be promptly diagnosed and treated. Bacterial and aseptic meningitis are hard to be distinguished. Therefore, physicians should be highly informed and experienced in this area. The main aim of this study was to suggest a system for distinguishing between bacterial and aseptic meningitis, using f...
متن کاملLocal Derivative Pattern with Smart Thresholding: Local Composition Derivative Pattern for Palmprint Matching
Palmprint recognition is a new biometrics system based on physiological characteristics of the palmprint, which includes rich, stable, and unique features such as lines, points, and texture. Texture is one of the most important features extracted from low resolution images. In this paper, a new local descriptor, Local Composition Derivative Pattern (LCDP) is proposed to extract smartly stronger...
متن کاملDistinguishing Formulas for Free
A system for the eecient veriication of the input/output correctness of Finite State Machines with data path and control unit is presented. This system, which is based on First-Order Logic theorem proving, is unique in automatically providing distinguishing formulas expressing all test patterns that witness a behavioural diierence between two descriptions. Experimental results illustrate the te...
متن کاملA new memetic algorithm for mitigating tandem automated guided vehicle system partitioning problem
Automated Guided Vehicle System (AGVS) provides the flexibility and automation demanded by Flexible Manufacturing System (FMS). However, with the growing concern on responsible management of resource use, it is crucial to manage these vehicles in an efficient way in order reduces travel time and controls conflicts and congestions. This paper presents the development process of a new Memetic Alg...
متن کاملHealth System Resilience: What Are We Talking About? A Scoping Review Mapping Characteristics and Keywords
Background Health systems are based on 6 functions that need to work together at all times to effectively deliver safe and quality health services. These functions are vulnerable to shocks and changes; if a health system is unable to withstand the pressure from a shock, it may cease to function or collapse. The concept of resilience has been introduced with the goal of strengthening healt...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998